Axiomatic Extensions of Hohle's Monoidal Logic
نویسنده
چکیده
We introduce an axiomatic extension of Höhle’s Monoidal Logic called Semi–divisible Monoidal Logic, and prove that it is complete by showing that semi–divisibility is preserved in MacNeille completion. Moreover, we introduce Strong semi– divisible Monoidal Logic and conjecture that a predicate formula α is derivable in Strong Semi–divisible Monadic logic if, and only if its double negation ¬¬α is derivable in Łukasiewicz∗ logic.
منابع مشابه
Standard Completeness for Extensions of MTL: An Automated Approach
We provide general conditions on hypersequent calculi that guarantee standard completeness for the formalized logics. These conditions are implemented in the PROLOG system AxiomCalc that takes as input any suitable axiomatic extension of Monoidal T-norm Logic MTL and outputs a hypersequent calculus for the logic and the result of the check. Our approach subsumes many existing results and allows...
متن کاملComputational complexities of axiomatic extensions of monoidal t-norm based logic
We study the computational complexity of some axiomatic extensions of the monoidal t-Norm based logic (MTL), namely NM corresponding to the logic of the so-called nilpotent minimum t-norm (due to Fodor [8]); and SMTL corresponding to left-continuous strict t-norms, introduced by Esteva (and others) in [4] and [5]. In particular, we show that the sets of 1-satisfiable and positively satisfiable ...
متن کاملThe standard completeness of interval-valued monoidal t-norm based logic
In this paper we prove the strong standard completeness of interval-valued monoidal t-norm based logic (IVMTL) and some of its extensions. For other extensions we show that they are not strong standard complete. We also give a local deduction theorem for IVMTL and other extensions of interval-valued monoidal logic. Similar results are obtained for interval-valued fuzzy logics expanded with Baaz...
متن کاملAxiomatizing Monoidal Logic: A Correction
The propositional monoidal logic ML of U. HÖHLE, determined through an algebraic semantics given by the class of all residuated lattices, was (claimed to be) reaxiomatized in the recent monograph [5]. We show that this reaxiomatization is defective and prove the independence of one of U. HÖHLE's original axioms from the axioms in [5]. Additionally the axiomatization in [5] is completed.
متن کاملA new axiomatization for involutive monoidal t-norm-based logic
On the real unit interval, the notion of a Girard monoid coincides with the notion of a t-norm-based residuated lattice with strong induced negation. A geometrical approach toward these Girard monoids, based on the notion of rotation invariance, is turned in an adequate axiomatization for the Involutive Monoidal T-norm-based residuated Logic (IMTL).
متن کامل